Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
281	Granularity in reference to spatio-temporal location and relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Granularity Process philosophy Basic Formal Ontology
282	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
283	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
284	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
285	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
286	SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015 Add to Reading List Source URL: simgrid.gforge.inria.fr Language: English - Date: 2015-09-29 06:27:30 Formal methods Logic in computer science Model checking Theoretical computer science Formal verification Safety Liveness Device driver synthesis and verification
287	ASCRIBING MENTAL QUALITIES TO MACHINES John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:07:26 Cognitive science Cognitive psychology Conditionals Epistemology Ontology Mind Counterfactual conditional Reason Computational theory of mind Concept Belief Intelligence
288	Multiparty Session Types for Runtime Verification Rumyana Neykova OOI: verification challenges  Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2014-01-14 05:07:33 Formal methods Logic in computer science Communications protocol Data transmission Cryptographic protocol Runtime verification ANTLR
289	WATER BODIES AND SENSOR ONTOLOGIES Boyan Brodaric1, Torsten Hahmann2, Michael Gruninger3 1 Geological Survey of Canada, Ottawa, Canada K1A0E9 Email: 2 School of Computing and Information Science, Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:24 Ontology Information science Semantic Web Technical communication Knowledge representation Formal ontology Upper ontology Web Ontology Language Michael Gruninger Descriptive Ontology for Linguistic and Cognitive Engineering Water Semantic spectrum

UPDATE